|
|
Framework pro tvorbu a ověřování specifikačních modelů
Matalík, Štěpán ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá objektově orientovanými Petriho sítěmi (OOPN) a tvorbou nástroje pro tvorbu a ověřování specifikačních modelů popsaných OOPN. V první části práce jsou popsány formalismy existujících typů Petriho sítí, včetně OOPN. Další část se zabývá tvorbou editačního nástroje, který také umožňuje spouštění simulačních modelů na vzdáleném serveru. Výstupem editoru je jednak grafická podoba Petriho sítě a také simulační model popsaný jazykem PNtalk, což je konkrétní implementace OOPN založená na jazyku Smalltalk. Simulační modely jsou spouštěny na serveru v prostředí Pharo. Na závěr práce jsou ukázány příklady konkrétních simulací a možná rozšíření nástroje.
|
|
|
Grafický editor pro konfiguraci struktury úloh v rámci Java EE Batching API
Hanus, Tomáš ; Kolář, Dušan (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato bakalářská práce se zabývá popisem implementace grafického editoru pro konfiguraci struktury úloh v rámci Java EE Batching API v podobě zásuvného modulu pro vývojové prostředí IntelliJ IDEA. Zaměřuje se hlavně na možnost obousměrné propagace změn mezi textovou a grafickou reprezentaci jazyka JSL. Přibližuje problematiku dávkového zpracování. Zároveň je zde představena i architektura prostředí IDEA. Stručně popisuje návrh zásuvného modulu a postupy využité při jeho implementaci. Použitelnost nástroje je demonstrována pomocí pěti příkladů dávkových úloh. V závěru jsou zmíněny některé vylepšení, na které by bylo možné se v budoucnu zaměřit. Výsledný nástroj je volně dostupný jako otevřený software.
|
|
|
Interface for management of optical line termination in passive optical network
Kováč, Dávid ; Holík, Martin (oponent) ; Horváth, Tomáš (vedoucí práce)
This bachelors thesis deals with the creation of a graphic user interface for the configuration of optical line terminal for passive optical networks. The aim of the thesis was to make the configuration of optical line terminal easier and more convenient. The graphic user interface allows the user to configure ONTs, display all connected ONTs, show the event log and to configure alarm profiles. The theoretical part of the thesis deals with getting acquainted with passive optical networks and getting familiar with how the graphical interface was created. Furthermore, there are the programming tools and the extension used to create the GUI, an explanation of how and why each part of the GUI was created, including the classes and the methods which were used, how the testing went and the results. At the end of the thesis is a manual of what needs to be installed to make the GUI work and how to use it.
|
|
|
Interface for management of optical line termination in passive optical network
Kováč, Dávid ; Holík, Martin (oponent) ; Horváth, Tomáš (vedoucí práce)
This bachelors thesis deals with the creation of a graphic user interface for the configuration of optical line terminal for passive optical networks. The aim of the thesis was to make the configuration of optical line terminal easier and more convenient. The graphic user interface allows the user to configure ONTs, display all connected ONTs, show the event log and to configure alarm profiles. The theoretical part of the thesis deals with getting acquainted with passive optical networks and getting familiar with how the graphical interface was created. Furthermore, there are the programming tools and the extension used to create the GUI, an explanation of how and why each part of the GUI was created, including the classes and the methods which were used, how the testing went and the results. At the end of the thesis is a manual of what needs to be installed to make the GUI work and how to use it.
|
|
|
Framework pro tvorbu a ověřování specifikačních modelů
Matalík, Štěpán ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá objektově orientovanými Petriho sítěmi (OOPN) a tvorbou nástroje pro tvorbu a ověřování specifikačních modelů popsaných OOPN. V první části práce jsou popsány formalismy existujících typů Petriho sítí, včetně OOPN. Další část se zabývá tvorbou editačního nástroje, který také umožňuje spouštění simulačních modelů na vzdáleném serveru. Výstupem editoru je jednak grafická podoba Petriho sítě a také simulační model popsaný jazykem PNtalk, což je konkrétní implementace OOPN založená na jazyku Smalltalk. Simulační modely jsou spouštěny na serveru v prostředí Pharo. Na závěr práce jsou ukázány příklady konkrétních simulací a možná rozšíření nástroje.
|
|
|
Grafický editor pro konfiguraci struktury úloh v rámci Java EE Batching API
Hanus, Tomáš ; Kolář, Dušan (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato bakalářská práce se zabývá popisem implementace grafického editoru pro konfiguraci struktury úloh v rámci Java EE Batching API v podobě zásuvného modulu pro vývojové prostředí IntelliJ IDEA. Zaměřuje se hlavně na možnost obousměrné propagace změn mezi textovou a grafickou reprezentaci jazyka JSL. Přibližuje problematiku dávkového zpracování. Zároveň je zde představena i architektura prostředí IDEA. Stručně popisuje návrh zásuvného modulu a postupy využité při jeho implementaci. Použitelnost nástroje je demonstrována pomocí pěti příkladů dávkových úloh. V závěru jsou zmíněny některé vylepšení, na které by bylo možné se v budoucnu zaměřit. Výsledný nástroj je volně dostupný jako otevřený software.
|
|
|
Porovnejte vývojová prostředí NetBeans × Eclipse × IntelliJ IDEA
Gazárek, Roman ; Pecinovský, Rudolf (vedoucí práce) ; Šlajchrt, Zbyněk (oponent)
Tato bakalářská práce se zabývá porovnáním vývojových prostředí NetBeans, Eclipse a IntelliJ IDEA. Cílem je seznámit čtenáře s koncepcemi porovnávaných produktů tak, aby si udělal lepší představu o tom, co tato vývojová prostředí uživatelům nabízejí a v čem se jednotlivé koncepty liší. Závěrem práce jsou uvedena doporučení pro různé skupiny uživatelů, na jaká kritéria se při výběru zaměřit a k jakému prostředí se přiklonit.
|
|
|
Porovnání správy verzí ve vývojových prostředích pro Javu
Říha, Jan ; Pavlíček, Luboš (vedoucí práce) ; Kamenišťák, Marián (oponent)
Systémy pro správu verzí dnes patří mezi nejdůležitější nástroje při vývoji softwaru. Cílem této práce je stanovit kritéria a následně ohodnotit integrovanou podporu těchto systémů ve vývojových prostředích pro Javu. Jako systém pro správu verzí byl zvolen Subversion, který je velmi rozšířený mezi vývojáři open source softwaru. Na základě funkcionality tohoto systému autor práce nejprve stanovuje jednotlivá kritéria, kterým by měla vývojová prostředí vyhovět, aby v nich bylo možné správu verzí efektivně používat. Ve druhé části práce jsou pak na základě stanovených kritérií ohodnoceny nejběžnější vývojová prostředí pro jazyk Java a formulovány jak konkrétní závěry týkající se testovaných produktů, tak i obecná doporučení, jakým směrem by se měl jejich další vývoj ubírat.
|
host ::
RSS.